d4ed99f58132e83eac57c23a8826ae5dc6ba676e,src/main/java/org/basex/BaseXHTTP.java,BaseXHTTP,BaseXHTTP,#String#,57

Before Change


    // stop server
    if(stopped) {
      stop();
      Util.outln(HTTP + ' ' + SRV_STOPPED_PORT_X, httpPort);
      // temporary console windows: keep the message visible for a while
      Performance.sleep(1000);
      return;

After Change


    // stop server
    if(stopped) {
      stop();
      for(final Connector c : jetty.getConnectors())
        Util.outln(HTTP + ' ' + SRV_STOPPED_PORT_X, c.getPort());
      // temporary console windows: keep the message visible for a while
      Performance.sleep(1000);
      return;